Mechanized reasoning and hardware design - a discussion

Författare
(Organized and edited by C.A.R. Hoare and M.J.C. Gordon)
Språk
Engelska
Förlag År Ort Om boken ISBN
Royal Society 1992 Storbritannien, London 151 sidor.